java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files wlan.8.prism --model-input-type prism --property-input-files wlan.props --property-input-names cost_min --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const COL=0
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property cost_min
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 14596 14595
build-model-states-explored 32749 18154
build-model-states-explored 49957 17208
build-model-states-explored 70855 20898
build-model-states-explored 93661 22806
build-model-states-explored 115868 22207
build-model-states-explored 131160 15292
build-model-states-explored 151578 20418
build-model-states-explored 173459 21880
build-model-states-explored 195052 21594
build-model-states-explored 213591 18539
build-model-states-explored 234472 20881
build-model-states-explored 257310 22838
build-model-states-explored 279947 22637
build-model-states-explored 302687 22740
build-model-states-explored 325698 23011
build-model-states-explored 349311 23613
build-model-states-explored 373680 24369
build-model-states-explored 398068 24388
build-model-states-explored 416585 18517
build-model-states-explored 435084 18499
build-model-states-explored 446821 11737
build-model-states-explored 459228 12407
build-model-states-explored 471187 11959
build-model-states-explored 492892 21704
build-model-states-explored 514271 21380
build-model-states-explored 535179 20908
build-model-states-explored 556447 21268
build-model-states-explored 577767 21320
build-model-states-explored 599083 21316
build-model-states-explored 620427 21344
build-model-states-explored 641753 21326
build-model-states-explored 663060 21307
build-model-states-explored 684375 21315
build-model-states-explored 705684 21309
build-model-states-explored 724996 19312
build-model-states-explored 746165 21169
build-model-states-explored 758910 12745
build-model-states-explored 773056 14146
build-model-states-explored 795866 22810
build-model-states-explored 818676 22810
build-model-states-explored 841418 22742
build-model-states-explored 856548 15130
build-model-states-explored 879312 22764
build-model-states-explored 902052 22740
build-model-states-explored 924836 22784
build-model-states-explored 947599 22763
build-model-states-explored 970368 22769
build-model-states-explored 993143 22775
build-model-states-explored 1015929 22786
build-model-states-explored 1038734 22805
build-model-states-explored 1060739 22005
build-model-states-explored 1083503 22764
build-model-states-explored 1106278 22775
build-model-states-explored 1129058 22779
build-model-states-explored 1151818 22761
build-model-states-explored 1174577 22758
build-model-states-explored 1197371 22794
build-model-states-explored 1220131 22761
build-model-states-explored 1242887 22756
build-model-states-explored 1265642 22755
build-model-states-explored 1287832 22190
build-model-states-explored 1311106 23274
build-model-states-explored 1335481 24375
build-model-states-explored 1359863 24382
build-model-states-explored 1384221 24358
build-model-states-explored 1408590 24369
build-model-states-explored 1432953 24363
build-model-states-explored 1457313 24360
build-model-states-explored 1481678 24364
build-model-states-explored 1506039 24362
build-model-states-explored 1530358 24319
build-model-states-explored 1554686 24328
build-model-states-explored 1574038 19352
build-model-states-explored 1596975 22937
build-model-states-explored 1611054 14079
build-model-states-explored 1621331 10277
build-model-states-explored 1633694 12363
build-model-states-explored 1643766 10072
build-model-states-explored 1656187 12421
build-model-states-explored 1660118 3931
build-model-states-explored 1671988 11870
build-model-states-explored 1683780 11792
build-model-states-explored 1696169 12389
build-model-states-explored 1708555 12386
build-model-states-explored 1720935 12380
build-model-states-explored 1733201 12266
build-model-states-explored 1745522 12321
build-model-states-explored 1752381 6859
build-model-states-explored 1774877 22496
build-model-states-explored 1797214 22336
build-model-states-explored 1819477 22264
build-model-states-explored 1841788 22311
build-model-states-explored 1864036 22248
build-model-states-explored 1885192 21156
build-model-states-explored 1907422 22230
build-model-states-explored 1929699 22277
build-model-states-explored 1951936 22237
build-model-states-explored 1974211 22275
build-model-states-explored 1996360 22149
build-model-states-explored 2017959 21599
build-model-states-explored 2040065 22106
build-model-states-explored 2062271 22206
build-model-states-explored 2084469 22198
build-model-states-explored 2105194 20725
build-model-states-explored 2127318 22124
build-model-states-explored 2149511 22193
build-model-states-explored 2171679 22168
build-model-states-explored 2193830 22151
build-model-states-explored 2216053 22222
build-model-states-explored 2238173 22121
build-model-states-explored 2260363 22189
build-model-states-explored 2282552 22190
build-model-states-explored 2304661 22108
build-model-states-explored 2326869 22209
build-model-states-explored 2349053 22184
build-model-states-explored 2371235 22182
build-model-states-explored 2393225 21990
build-model-states-explored 2415388 22163
build-model-states-explored 2437499 22111
build-model-states-explored 2459704 22205
build-model-states-explored 2481838 22134
build-model-states-explored 2504017 22179
build-model-states-explored 2526203 22186
build-model-states-explored 2548294 22091
build-model-states-explored 2570448 22154
build-model-states-explored 2592607 22159
build-model-states-explored 2614705 22098
build-model-states-explored 2636832 22127
build-model-states-explored 2658923 22091
build-model-states-explored 2680871 21948
build-model-states-explored 2702372 21501
build-model-states-explored 2723864 21492
build-model-states-explored 2745194 21330
build-model-states-explored 2767204 22010
build-model-states-explored 2789253 22049
build-model-states-explored 2811291 22037
build-model-states-explored 2833231 21941
build-model-states-explored 2855308 22076
build-model-states-explored 2869025 13718
build-model-states-explored 2880530 11504
build-model-states-explored 2892005 11475
build-model-states-explored 2903456 11451
build-model-states-explored 2914900 11444
build-model-states-explored 2926334 11434
build-model-states-explored 2940838 14504
build-model-states-explored 2963630 22791
build-model-states-explored 2986342 22712
build-model-states-explored 3009135 22793
build-model-states-explored 3031936 22801
build-model-states-explored 3054793 22857
build-model-states-explored 3077645 22852
build-model-states-explored 3100477 22832
build-model-states-explored 3123300 22823
build-model-states-explored 3146106 22806
build-model-states-explored 3168755 22649
build-model-states-explored 3190930 22175
build-model-states-explored 3213044 22114
build-model-states-explored 3235116 22072
build-model-states-explored 3257096 21980
build-model-states-explored 3279434 22338
build-model-states-explored 3301966 22532
build-model-states-explored 3324570 22604
build-model-states-explored 3347180 22610
build-model-states-explored 3369767 22587
build-model-states-explored 3392305 22538
build-model-states-explored 3392305 0
build-model-states-explored 3407638 15333
build-model-states-explored 3430213 22575
build-model-states-explored 3452818 22605
build-model-states-explored 3475384 22566
build-model-states-explored 3497932 22548
build-model-states-explored 3520498 22566
build-model-states-explored 3543054 22556
build-model-states-explored 3565625 22571
build-model-states-explored 3588198 22572
build-model-states-explored 3610745 22548
build-model-states-explored 3633326 22581
build-model-states-explored 3655922 22596
build-model-states-explored 3678522 22600
build-model-states-explored 3701135 22613
build-model-states-explored 3723750 22615
build-model-states-explored 3746338 22588
build-model-states-explored 3768930 22592
build-model-states-explored 3791540 22610
build-model-states-explored 3814135 22595
build-model-states-explored 3836720 22585
build-model-states-explored 3859287 22567
build-model-states-explored 3881852 22565
build-model-states-explored 3904431 22579
build-model-states-explored 3926992 22561
build-model-states-explored 3949531 22539
build-model-states-explored 3972116 22584
build-model-states-explored 3994702 22587
build-model-states-explored 4017276 22573
build-model-states-explored 4039575 22300
build-model-states-explored 4061486 21911
build-model-states-explored 4083332 21845
build-model-states-explored 4105156 21825
build-model-states-explored 4127095 21938
build-model-states-explored 4148927 21832
build-model-states-explored 4172009 23081
build-model-states-explored 4194303 22295
build-model-states-explored 4215155 20852
build-model-states-explored 4238216 23061
build-model-states-explored 4261350 23134
build-model-states-explored 4284419 23069
build-model-states-explored 4307441 23022
build-model-states-explored 4330508 23067
build-model-states-explored 4353634 23126
build-model-states-explored 4376753 23119
build-model-states-explored 4399810 23057
build-model-states-explored 4422887 23077
build-model-states-explored 4446038 23151
build-model-states-explored 4469120 23081
build-model-states-explored 4492167 23048
build-model-states-explored 4515299 23132
build-model-states-explored 4538430 23131
build-model-states-explored 4561463 23033
build-model-states-explored 4584533 23070
build-model-states-explored 4607691 23158
build-model-states-explored 4630768 23077
build-model-states-explored 4653804 23036
build-model-states-explored 4676901 23097
build-model-states-explored 4700037 23136
build-model-states-explored 4723097 23060
build-model-states-explored 4746141 23044
build-model-states-explored 4769259 23118
build-model-states-explored 4792361 23102
build-model-states-explored 4815397 23036
build-model-states-explored 4838437 23039
build-model-states-explored 4861564 23128
build-model-states-explored 4884657 23093
build-model-states-explored 4907692 23035
build-model-states-explored 4930757 23065
build-model-states-explored 4953891 23133
build-model-states-explored 4976948 23058
build-model-states-explored 5000010 23062
build-model-states-explored 5023099 23089
build-model-states-explored 5046968 23869
build-model-states-explored 5071117 24149
build-model-states-explored 5095148 24031
build-model-states-explored 5119164 24016
build-model-states-explored 5142996 23831
build-model-states-explored 5166684 23689
build-model-states-explored 5190307 23623
build-model-states-explored 5214219 23912
build-model-states-explored 5238139 23920
build-model-states-explored 5261900 23761
build-model-states-explored 5286500 24600
build-model-states-explored 5311116 24616
build-model-states-explored 5335718 24602
build-model-states-explored 5360362 24644
build-model-states-explored 5385030 24668
build-model-states-explored 5409677 24647
build-model-states-explored 5434344 24667
build-model-states-explored 5458972 24628
build-model-states-explored 5483613 24641
build-model-states-explored 5508273 24660
build-model-states-explored 5532780 24507
build-model-states-explored 5557393 24613
build-model-states-explored 5581998 24605
build-model-states-explored 5606622 24624
build-model-states-explored 5631211 24589
build-model-states-explored 5655864 24653
build-model-states-explored 5680538 24674
build-model-states-explored 5704728 24190
build-model-states-explored 5728891 24163
build-model-states-explored 5753471 24580
build-model-states-explored 5778046 24575
build-model-states-explored 5802690 24644
build-model-states-explored 5827277 24587
build-model-states-explored 5851914 24637
build-model-states-explored 5876563 24649
build-model-states-explored 5901195 24632
build-model-states-explored 5925821 24626
build-model-states-explored 5950476 24655
build-model-states-explored 5975091 24615
build-model-states-explored 5999683 24592
build-model-states-explored 6024339 24656
build-model-states-explored 6049000 24661
build-model-states-explored 6073643 24643
build-model-states-explored 6092186 18543
build-model-states-explored 6110705 18519
build-model-states-explored 6132861 22156
build-model-states-explored 6155646 22785
build-model-states-explored 6179330 23684
build-model-states-explored 6191987 12657
build-model-states-explored 6197053 5066
build-model-states-explored 6203354 6301
build-model-states-explored 6208450 5096
build-model-states-explored 6215664 7214
build-model-states-explored 6228239 12575
build-model-states-explored 6239729 11490
build-model-states-explored 6251205 11476
build-model-states-explored 6262696 11491
build-model-states-explored 6274172 11476
build-model-states-explored 6285621 11449
build-model-states-explored 6297039 11418
build-model-states-explored 6308458 11419
build-model-states-explored 6316386 7928
build-model-states-explored 6322659 6273
build-model-states-explored 6334012 11353
build-model-states-explored 6345382 11370
build-model-states-explored 6356760 11378
build-model-states-explored 6368100 11340
build-model-states-explored 6379871 11771
build-model-states-explored 6391972 12101
build-model-states-explored 6404064 12092
build-model-states-explored 6416145 12081
build-model-states-explored 6428207 12062
build-model-states-explored 6440255 12048
build-model-states-explored 6452308 12053
build-model-states-explored 6464343 12035
build-model-states-explored 6476360 12017
build-model-states-explored 6488377 12017
build-model-states-explored 6500384 12007
build-model-states-explored 6512127 11743
build-model-states-explored 6524100 11973
build-model-states-explored 6536068 11968
build-model-states-explored 6548022 11954
build-model-states-explored 6559960 11938
build-model-states-explored 6571891 11931
build-model-states-explored 6583815 11924
build-model-states-explored 6595748 11933
build-model-states-explored 6607658 11910
build-model-states-explored 6619547 11889
build-model-states-explored 6631420 11873
build-model-states-explored 6643301 11881
build-model-states-explored 6655170 11869
build-model-states-explored 6667027 11857
build-model-states-explored 6678882 11855
build-model-states-explored 6690740 11858
build-model-states-explored 6702599 11859
build-model-states-explored 6708180 5581
build-model-states-explored 6708180 0
build-model-states-explored 6708180 0
build-model-states-explored 6718618 10438
build-model-states-explored 6730433 11815
build-model-states-explored 6742050 11617
build-model-states-explored 6744552 2502
build-model-states-explored 6746707 2155
build-model-states-explored 6750354 3647
build-model-states-explored 6772821 22467
build-model-states-explored 6794919 22098
build-model-states-explored 6817042 22123
build-model-states-explored 6839183 22141
build-model-states-explored 6861311 22128
build-model-states-explored 6883287 21976
build-model-states-explored 6905396 22109
build-model-states-explored 6927481 22085
build-model-states-explored 6949576 22095
build-model-states-explored 6971668 22092
build-model-states-explored 6993751 22083
build-model-states-explored 7015849 22098
build-model-states-explored 7037788 21939
build-model-states-explored 7059860 22072
build-model-states-explored 7081961 22101
build-model-states-explored 7104085 22124
build-model-states-explored 7126180 22095
build-model-states-explored 7148277 22097
build-model-states-explored 7170366 22089
build-model-states-explored 7192299 21933
build-model-states-explored 7214364 22065
build-model-states-explored 7236445 22081
build-model-states-explored 7258525 22080
build-model-states-explored 7280595 22070
build-model-states-explored 7302690 22095
build-model-states-explored 7324742 22052
build-model-states-explored 7342379 17637
build-model-states-explored 7355510 13131
build-model-states-explored 7377567 22057
build-model-states-explored 7399691 22124
build-model-states-explored 7421806 22115
build-model-states-explored 7443888 22082
build-model-states-explored 7465962 22074
build-model-states-explored 7488043 22081
build-model-states-explored 7509968 21925
build-model-states-explored 7532022 22054
build-model-states-explored 7554095 22073
build-model-states-explored 7576147 22052
build-model-states-explored 7598207 22060
build-model-states-explored 7620282 22075
build-model-states-explored 7642355 22073
build-model-states-explored 7664380 22025
build-model-states-explored 7686333 21953
build-model-states-explored 7708358 22025
build-model-states-explored 7730346 21988
build-model-states-explored 7752424 22078
build-model-states-explored 7774462 22038
build-model-states-explored 7796506 22044
build-model-states-explored 7818552 22046
build-model-states-explored 7840592 22040
build-model-states-explored 7862489 21897
build-model-states-explored 7884538 22049
build-model-states-explored 7906588 22050
build-model-states-explored 7928647 22059
build-model-states-explored 7950698 22051
build-model-states-explored 7972732 22034
build-model-states-explored 7994758 22026
build-model-states-explored 8015210 20452
build-model-states-explored 8037226 22016
build-model-states-explored 8059251 22025
build-model-states-explored 8081287 22036
build-model-states-explored 8103310 22023
build-model-states-explored 8125358 22048
build-model-states-explored 8147412 22054
build-model-states-explored 8169303 21891
build-model-states-explored 8191346 22043
build-model-states-explored 8213393 22047
build-model-states-explored 8235437 22044
build-model-states-explored 8257448 22011
build-model-states-explored 8279483 22035
build-model-states-explored 8301492 22009
build-model-states-explored 8323540 22048
build-model-states-explored 8345503 21963
build-model-states-explored 8367441 21938
build-model-states-explored 8388607 21166
build-model-states-explored 8405919 17312
build-model-states-explored 8427931 22012
build-model-states-explored 8449921 21990
build-model-states-explored 8471849 21928
build-model-states-explored 8493869 22020
build-model-states-explored 8515893 22024
build-model-states-explored 8537917 22024
build-model-states-explored 8559917 22000
build-model-states-explored 8581891 21974
build-model-states-explored 8603901 22010
build-model-states-explored 8625915 22014
build-model-states-explored 8647925 22010
build-model-states-explored 8669837 21912
build-model-states-explored 8691852 22015
build-model-states-explored 8713885 22033
build-model-states-explored 8735895 22010
build-model-states-explored 8757888 21993
build-model-states-explored 8779657 21769
build-model-states-explored 8801644 21987
build-model-states-explored 8823614 21970
build-model-states-explored 8845568 21954
build-model-states-explored 8867526 21958
build-model-states-explored 8889446 21920
build-model-states-explored 8911297 21851
build-model-states-explored 8933258 21961
build-model-states-explored 8955249 21991
build-model-states-explored 8977220 21971
build-model-states-explored 8999194 21974
build-model-states-explored 9021101 21907
build-model-states-explored 9043034 21933
build-model-states-explored 9065014 21980
build-model-states-explored 9086982 21968
build-model-states-explored 9108967 21985
build-model-states-explored 9130945 21978
build-model-states-explored 9152811 21866
build-model-states-explored 9174733 21922
build-model-states-explored 9196700 21967
build-model-states-explored 9218644 21944
build-model-states-explored 9240594 21950
build-model-states-explored 9262555 21961
build-model-states-explored 9284500 21945
build-model-states-explored 9306481 21981
build-model-states-explored 9328456 21975
build-model-states-explored 9350421 21965
build-model-states-explored 9372385 21964
build-model-states-explored 9394309 21924
build-model-states-explored 9416167 21858
build-model-states-explored 9438126 21959
build-model-states-explored 9460092 21966
build-model-states-explored 9482026 21934
build-model-states-explored 9503980 21954
build-model-states-explored 9525943 21963
build-model-states-explored 9547880 21937
build-model-states-explored 9569824 21944
build-model-states-explored 9591781 21957
build-model-states-explored 9613717 21936
build-model-states-explored 9635655 21938
build-model-states-explored 9657578 21923
build-model-states-explored 9679411 21833
build-model-states-explored 9701304 21893
build-model-states-explored 9723242 21938
build-model-states-explored 9745185 21943
build-model-states-explored 9767112 21927
build-model-states-explored 9789042 21930
build-model-states-explored 9810955 21913
build-model-states-explored 9832886 21931
build-model-states-explored 9854841 21955
build-model-states-explored 9876765 21924
build-model-states-explored 9898686 21921
build-model-states-explored 9920608 21922
build-model-states-explored 9942522 21914
build-model-states-explored 9964423 21901
build-model-states-explored 9986282 21859
build-model-states-explored 10008213 21931
build-model-states-explored 10030128 21915
build-model-states-explored 10052045 21917
build-model-states-explored 10073962 21917
build-model-states-explored 10095888 21926
build-model-states-explored 10117805 21917
build-model-states-explored 10139705 21900
build-model-states-explored 10161616 21911
build-model-states-explored 10183537 21921
build-model-states-explored 10205447 21910
build-model-states-explored 10227377 21930
build-model-states-explored 10249302 21925
build-model-states-explored 10271204 21902
build-model-states-explored 10293033 21829
build-model-states-explored 10314908 21875
build-model-states-explored 10336802 21894
build-model-states-explored 10358666 21864
build-model-states-explored 10380587 21921
build-model-states-explored 10402485 21898
build-model-states-explored 10424360 21875
build-model-states-explored 10446253 21893
build-model-states-explored 10468124 21871
build-model-states-explored 10490027 21903
build-model-states-explored 10511923 21896
build-model-states-explored 10533827 21904
build-model-states-explored 10555729 21902
build-model-states-explored 10577634 21905
build-model-states-explored 10599504 21870
build-model-states-explored 10621399 21895
build-model-states-explored 10643263 21864
build-model-states-explored 10665084 21821
build-model-states-explored 10686907 21823
build-model-states-explored 10708789 21882
build-model-states-explored 10730673 21884
build-model-states-explored 10752566 21893
build-model-states-explored 10774457 21891
build-model-states-explored 10796305 21848
build-model-states-explored 10817417 21112
build-model-states-explored 10838473 21056
build-model-states-explored 10859457 20984
build-model-states-explored 10880534 21077
build-model-states-explored 10901594 21060
build-model-states-explored 10922574 20980
build-model-states-explored 10943636 21062
build-model-states-explored 10964699 21063
build-model-states-explored 10985686 20987
build-model-states-explored 11006759 21073
build-model-states-explored 11027686 20927
build-model-states-explored 11048567 20881
build-model-states-explored 11069515 20948
build-model-states-explored 11090174 20659
build-model-states-explored 11111106 20932
build-model-states-explored 11131541 20435
build-model-states-explored 11152125 20584
build-model-states-explored 11172634 20509
build-model-states-explored 11193579 20945
build-model-states-explored 11212758 19179
build-model-states-explored 11222989 10231
build-model-states-explored 11230484 7495
build-model-states-explored 11230484 0
build-model-states-explored 11238715 8231
build-model-states-explored 11248914 10199
build-model-states-explored 11259191 10277
build-model-states-explored 11268458 9267
build-model-states-explored 11278763 10305
build-model-states-explored 11289073 10310
build-model-states-explored 11299382 10309
build-model-states-explored 11309629 10247
build-model-states-explored 11319808 10179
build-model-states-explored 11329962 10154
build-model-states-explored 11340145 10183
build-model-states-explored 11350283 10138
build-model-states-explored 11360412 10129
build-model-states-explored 11370524 10112
build-model-states-explored 11380608 10084
build-model-states-explored 11390550 9942
build-model-states-explored 11400452 9902
build-model-states-explored 11410479 10027
build-model-states-explored 11420585 10106
build-model-states-explored 11430796 10211
build-model-states-explored 11440980 10184
build-model-states-explored 11451008 10028
build-model-states-explored 11461148 10140
build-model-states-explored 11471331 10183
build-model-states-explored 11490760 19429
build-model-states-explored 11512653 21893
build-model-states-explored 11534273 21620
build-model-states-explored 11555950 21677
build-model-states-explored 11577688 21738
build-model-states-explored 11599746 22058
build-model-states-explored 11621579 21833
build-model-states-explored 11643085 21506
build-model-states-explored 11664994 21909
build-model-states-explored 11686884 21890
build-model-states-explored 11708497 21613
build-model-states-explored 11729985 21488
build-model-states-explored 11751543 21558
build-model-states-explored 11773203 21660
build-model-states-explored 11794877 21674
build-model-states-explored 11816741 21864
build-model-states-explored 11838563 21822
build-model-states-explored 11860125 21562
build-model-states-explored 11881849 21724
build-model-states-explored 11903926 22077
build-model-states-explored 11925812 21886
build-model-states-explored 11947841 22029
build-model-states-explored 11969884 22043
build-model-states-explored 11991774 21890
build-model-states-explored 12013807 22033
build-model-states-explored 12035722 21915
build-model-states-explored 12057582 21860
build-model-states-explored 12079619 22037
build-model-states-explored 12101484 21865
build-model-states-explored 12123410 21926
build-model-states-explored 12145457 22047
build-model-states-explored 12167304 21847
build-model-states-explored 12189297 21993
build-model-states-explored 12211307 22010
build-model-states-explored 12233145 21838
build-model-states-explored 12255175 22030
build-model-states-explored 12277134 21959
build-model-states-explored 12298984 21850
build-model-states-explored 12321061 22077
build-model-states-explored 12342952 21891
build-model-states-explored 12364867 21915
build-model-states-explored 12386907 22040
build-model-states-explored 12408724 21817
build-model-states-explored 12430610 21886
build-model-states-explored 12452618 22008
build-model-states-explored 12474385 21767
build-model-states-explored 12496265 21880
build-model-states-explored 12518328 22063
build-model-states-explored 12539854 21526
build-model-states-explored 12561589 21735
build-model-states-explored 12583576 21987
build-model-states-explored 12604869 21293
build-model-states-explored 12626507 21638
build-model-states-explored 12647910 21403
build-model-states-explored 12669577 21667
build-model-states-explored 12691308 21731
build-model-states-explored 12713085 21777
build-model-states-explored 12734596 21511
build-model-states-explored 12755871 21275
build-model-states-explored 12777084 21213
build-model-states-explored 12798315 21231
build-model-states-explored 12819562 21247
build-model-states-explored 12841135 21573
build-model-states-explored 12862306 21171
build-model-states-explored 12883424 21118
build-model-states-explored 12904618 21194
build-model-states-explored 12926407 21789
build-model-states-explored 12947701 21294
build-model-states-explored 12969039 21338
build-model-states-explored 12990268 21229
build-model-states-explored 13011673 21405
build-model-states-explored 13033158 21485
build-model-states-explored 13055083 21925
build-model-states-explored 13076962 21879
build-model-states-explored 13099034 22072
build-model-states-explored 13120981 21947
build-model-states-explored 13142882 21901
build-model-states-explored 13165001 22119
build-model-states-explored 13186900 21899
build-model-states-explored 13208881 21981
build-model-states-explored 13230992 22111
build-model-states-explored 13252856 21864
build-model-states-explored 13274881 22025
build-model-states-explored 13296890 22009
build-model-states-explored 13318735 21845
build-model-states-explored 13340802 22067
build-model-states-explored 13362749 21947
build-model-states-explored 13384617 21868
build-model-states-explored 13406725 22108
build-model-states-explored 13428625 21900
build-model-states-explored 13450536 21911
build-model-states-explored 13472610 22074
build-model-states-explored 13494486 21876
build-model-states-explored 13516482 21996
build-model-states-explored 13538417 21935
build-model-states-explored 13539029 612
build-model-states-explored 13539029 0
build-model-states-explored 13539029 0
build-model-states-explored 13539029 0
build-model-states-explored 13539029 0
build-model-states-explored 13553666 14637
build-model-states-explored 13575642 21976
build-model-states-explored 13597476 21834
build-model-states-explored 13619580 22104
build-model-states-explored 13641504 21924
build-model-states-explored 13663394 21890
build-model-states-explored 13685486 22092
build-model-states-explored 13707341 21855
build-model-states-explored 13729327 21986
build-model-states-explored 13751384 22057
build-model-states-explored 13773251 21867
build-model-states-explored 13795249 21998
build-model-states-explored 13817180 21931
build-model-states-explored 13839024 21844
build-model-states-explored 13861118 22094
build-model-states-explored 13883040 21922
build-model-states-explored 13904931 21891
build-model-states-explored 13927021 22090
build-model-states-explored 13948907 21886
build-model-states-explored 13970868 21961
build-model-states-explored 13992905 22037
build-model-states-explored 14014744 21839
build-model-states-explored 14036725 21981
build-model-states-explored 14058715 21990
build-model-states-explored 14080565 21850
build-model-states-explored 14102619 22054
build-model-states-explored 14124554 21935
build-model-states-explored 14146430 21876
build-model-states-explored 14168504 22074
build-model-states-explored 14190386 21882
build-model-states-explored 14212313 21927
build-model-states-explored 14234385 22072
build-model-states-explored 14256216 21831
build-model-states-explored 14278170 21954
build-model-states-explored 14300197 22027
build-model-states-explored 14322043 21846
build-model-states-explored 14344080 22037
build-model-states-explored 14366058 21978
build-model-states-explored 14387904 21846
build-model-states-explored 14410013 22109
build-model-states-explored 14431932 21919
build-model-states-explored 14453829 21897
build-model-states-explored 14475933 22104
build-model-states-explored 14497782 21849
build-model-states-explored 14519736 21954
build-model-states-explored 14541820 22084
build-model-states-explored 14563693 21873
build-model-states-explored 14585747 22054
build-model-states-explored 14607747 22000
build-model-states-explored 14629621 21874
build-model-states-explored 14651722 22101
build-model-states-explored 14673652 21930
build-model-states-explored 14695547 21895
build-model-states-explored 14717650 22103
build-model-states-explored 14739510 21860
build-model-states-explored 14761474 21964
build-model-states-explored 14783523 22049
build-model-states-explored 14805387 21864
build-model-states-explored 14827428 22041
build-model-states-explored 14849415 21987
build-model-states-explored 14871299 21884
build-model-states-explored 14893410 22111
build-model-states-explored 14915322 21912
build-model-states-explored 14937266 21944
build-model-states-explored 14959338 22072
build-model-states-explored 14981182 21844
build-model-states-explored 15003186 22004
build-model-states-explored 15025229 22043
build-model-states-explored 15047102 21873
build-model-states-explored 15069181 22079
build-model-states-explored 15091149 21968
build-model-states-explored 15112987 21838
build-model-states-explored 15135025 22038
build-model-states-explored 15156941 21916
build-model-states-explored 15178849 21908
build-model-states-explored 15200940 22091
build-model-states-explored 15222769 21829
build-model-states-explored 15244727 21958
build-model-states-explored 15266778 22051
build-model-states-explored 15288614 21836
build-model-states-explored 15310608 21994
build-model-states-explored 15332610 22002
build-model-states-explored 15354433 21823
build-model-states-explored 15376491 22058
build-model-states-explored 15398463 21972
build-model-states-explored 15420331 21868
build-model-states-explored 15442346 22015
build-model-states-explored 15464249 21903
build-model-states-explored 15486153 21904
build-model-states-explored 15508239 22086
build-model-states-explored 15530102 21863
build-model-states-explored 15552067 21965
build-model-states-explored 15574103 22036
build-model-states-explored 15595975 21872
build-model-states-explored 15618033 22058
build-model-states-explored 15640004 21971
build-model-states-explored 15661907 21903
build-model-states-explored 15684027 22120
build-model-states-explored 15705942 21915
build-model-states-explored 15727909 21967
build-model-states-explored 15749992 22083
build-model-states-explored 15771852 21860
build-model-states-explored 15793863 22011
build-model-states-explored 15815869 22006
build-model-states-explored 15837715 21846
build-model-states-explored 15859779 22064
build-model-states-explored 15881716 21937
build-model-states-explored 15903602 21886
build-model-states-explored 15925731 22129
build-model-states-explored 15947629 21898
build-model-states-explored 15969588 21959
build-model-states-explored 15991685 22097
build-model-states-explored 16013551 21866
build-model-states-explored 16035598 22047
build-model-states-explored 16057645 22047
build-model-states-explored 16079515 21870
build-model-states-explored 16101633 22118
build-model-states-explored 16123578 21945
build-model-states-explored 16145512 21934
build-model-states-explored 16167631 22119
build-model-states-explored 16189514 21883
build-model-states-explored 16211508 21994
build-model-states-explored 16233545 22037
build-model-states-explored 16255416 21871
build-model-states-explored 16277466 22050
build-model-states-explored 16299434 21968
build-model-states-explored 16321338 21904
build-model-states-explored 16343443 22105
build-model-states-explored 16365364 21921
build-model-states-explored 16387323 21959
build-model-states-explored 16409416 22093
build-model-states-explored 16431255 21839
build-model-states-explored 16452967 21712
build-model-states-explored 16475042 22075
build-model-states-explored 16496904 21862
build-model-states-explored 16518933 22029
build-model-states-explored 16540932 21999
build-model-states-explored 16562795 21863
build-model-states-explored 16584890 22095
build-model-states-explored 16606834 21944
build-model-states-explored 16628731 21897
build-model-states-explored 16650845 22114
build-model-states-explored 16672700 21855
build-model-states-explored 16694668 21968
build-model-states-explored 16716758 22090
build-model-states-explored 16738621 21863
build-model-states-explored 16760656 22035
build-model-states-explored 16777215 16559
build-model-states-explored 16793345 16130
build-model-states-explored 16815367 22022
build-model-states-explored 16837245 21878
build-model-states-explored 16859338 22093
build-model-states-explored 16881280 21942
build-model-states-explored 16903222 21942
build-model-states-explored 16925348 22126
build-model-states-explored 16947224 21876
build-model-states-explored 16969236 22012
build-model-states-explored 16991308 22072
build-model-states-explored 17013174 21866
build-model-states-explored 17035236 22062
build-model-states-explored 17057199 21963
build-model-states-explored 17079060 21861
build-model-states-explored 17101179 22119
build-model-states-explored 17123062 21883
build-model-states-explored 17144980 21918
build-model-states-explored 17167095 22115
build-model-states-explored 17188950 21855
build-model-states-explored 17210955 22005
build-model-states-explored 17232847 21892
build-model-states-explored 17254425 21578
build-model-states-explored 17276046 21621
build-model-states-explored 17298056 22010
build-model-states-explored 17319802 21746
build-model-states-explored 17341602 21800
build-model-states-explored 17363709 22107
build-model-states-explored 17385564 21855
build-model-states-explored 17407528 21964
build-model-states-explored 17429550 22022
build-model-states-explored 17451350 21800
build-model-states-explored 17473340 21990
build-model-states-explored 17495332 21992
build-model-states-explored 17517188 21856
build-model-states-explored 17539262 22074
build-model-states-explored 17561198 21936
build-model-states-explored 17583020 21822
build-model-states-explored 17605093 22073
build-model-states-explored 17626989 21896
build-model-states-explored 17648937 21948
build-model-states-explored 17671005 22068
build-model-states-explored 17692865 21860
build-model-states-explored 17714864 21999
build-model-states-explored 17736513 21649
build-model-states-explored 17757985 21472
build-model-states-explored 17779900 21915
build-model-states-explored 17801985 22085
build-model-states-explored 17823835 21850
build-model-states-explored 17845760 21925
build-model-states-explored 17867744 21984
build-model-states-explored 17889558 21814
build-model-states-explored 17911521 21963
build-model-states-explored 17933531 22010
build-model-states-explored 17955403 21872
build-model-states-explored 17977473 22070
build-model-states-explored 17999422 21949
build-model-states-explored 18021320 21898
build-model-states-explored 18043413 22093
build-model-states-explored 18065283 21870
build-model-states-explored 18087241 21958
build-model-states-explored 18109298 22057
build-model-states-explored 18131147 21849
build-model-states-explored 18153146 21999
build-model-states-explored 18175161 22015
build-model-states-explored 18196996 21835
build-model-states-explored 18219058 22062
build-model-states-explored 18241012 21954
build-model-states-explored 18262882 21870
build-model-states-explored 18284979 22097
build-model-states-explored 18306853 21874
build-model-states-explored 18328762 21909
build-model-states-explored 18350866 22104
build-model-states-explored 18372711 21845
build-model-states-explored 18394690 21979
build-model-states-explored 18416724 22034
build-model-states-explored 18438548 21824
build-model-states-explored 18460550 22002
build-model-states-explored 18482527 21977
build-model-states-explored 18504376 21849
build-model-states-explored 18526474 22098
build-model-states-explored 18548398 21924
build-model-states-explored 18570284 21886
build-model-states-explored 18592382 22098
build-model-states-explored 18614247 21865
build-model-states-explored 18636179 21932
build-model-states-explored 18658228 22049
build-model-states-explored 18680083 21855
build-model-states-explored 18702087 22004
build-model-states-explored 18724093 22006
build-model-states-explored 18745966 21873
build-model-states-explored 18768030 22064
build-model-states-explored 18789958 21928
build-model-states-explored 18811851 21893
build-model-states-explored 18833949 22098
build-model-states-explored 18855820 21871
build-model-states-explored 18877750 21930
build-model-states-explored 18899791 22041
build-model-states-explored 18921620 21829
build-model-states-explored 18943609 21989
build-model-states-explored 18965622 22013
build-model-states-explored 18987451 21829
build-model-states-explored 19009502 22051
build-model-states-explored 19031451 21949
build-model-states-explored 19053245 21794
build-model-states-explored 19075295 22050
build-model-states-explored 19097207 21912
build-model-states-explored 19119063 21856
build-model-states-explored 19141127 22064
build-model-states-explored 19162989 21862
build-model-states-explored 19184917 21928
build-model-states-explored 19207023 22106
build-model-states-explored 19228864 21841
build-model-states-explored 19250780 21916
build-model-states-explored 19272801 22021
build-model-states-explored 19294633 21832
build-model-states-explored 19316628 21995
build-model-states-explored 19338591 21963
build-model-states-explored 19360406 21815
build-model-states-explored 19382470 22064
build-model-states-explored 19404410 21940
build-model-states-explored 19426305 21895
build-model-states-explored 19448400 22095
build-model-states-explored 19470275 21875
build-model-states-explored 19492198 21923
build-model-states-explored 19514251 22053
build-model-states-explored 19536098 21847
build-model-states-explored 19558085 21987
build-model-states-explored 19580061 21976
build-model-states-explored 19601913 21852
build-model-states-explored 19623974 22061
build-model-states-explored 19645922 21948
build-model-states-explored 19667770 21848
build-model-states-explored 19689857 22087
build-model-states-explored 19711752 21895
build-model-states-explored 19733664 21912
build-model-states-explored 19755747 22083
build-model-states-explored 19777584 21837
build-model-states-explored 19799563 21979
build-model-states-explored 19821605 22042
build-model-states-explored 19843445 21840
build-model-states-explored 19865479 22034
build-model-states-explored 19888849 23370
build-model-states-explored 19912359 23510
build-model-states-explored 19935854 23495
build-model-states-explored 19959379 23525
build-model-states-explored 19982876 23497
build-model-states-explored 20006433 23557
build-model-states-explored 20029963 23530
build-model-states-explored 20053498 23535
build-model-states-explored 20077034 23536
build-model-states-explored 20100569 23535
build-model-states-explored 20124110 23541
build-model-states-explored 20147643 23533
build-model-states-explored 20171203 23560
build-model-states-explored 20194711 23508
build-model-states-explored 20218254 23543
build-model-states-explored 20241801 23547
build-model-states-explored 20265340 23539
build-model-states-explored 20288896 23556
build-model-states-explored 20312408 23512
build-model-states-explored 20335920 23512
build-model-states-explored 20359421 23501
build-model-states-explored 20382955 23534
build-model-states-explored 20406462 23507
build-model-states-explored 20429947 23485
build-model-states-explored 20453469 23522
build-model-states-explored 20477009 23540
build-model-states-explored 20500501 23492
build-model-states-explored 20524014 23513
build-model-states-explored 20547525 23511
build-model-states-explored 20571078 23553
build-model-states-explored 20594605 23527
build-model-states-explored 20618118 23513
build-model-states-explored 20641634 23516
build-model-states-explored 20665162 23528
build-model-states-explored 20688693 23531
build-model-states-explored 20712218 23525
build-model-states-explored 20735749 23531
build-model-states-explored 20759265 23516
build-model-states-explored 20782790 23525
build-model-states-explored 20806310 23520
build-model-states-explored 20829823 23513
build-model-states-explored 20853340 23517
build-model-states-explored 20876884 23544
build-model-states-explored 20900416 23532
build-model-states-explored 20923974 23558
build-model-states-explored 20947527 23553
build-model-states-explored 20971013 23486
build-model-states-explored 20994509 23496
build-model-states-explored 21018001 23492
build-model-states-explored 21041500 23499
build-model-states-explored 21065032 23532
build-model-states-explored 21088548 23516
build-model-states-explored 21112042 23494
build-model-states-explored 21135555 23513
build-model-states-explored 21159085 23530
build-model-states-explored 21182604 23519
build-model-states-explored 21206147 23543
build-model-states-explored 21229661 23514
build-model-states-explored 21253175 23514
build-model-states-explored 21276725 23550
build-model-states-explored 21300273 23548
build-model-states-explored 21323799 23526
build-model-states-explored 21347331 23532
build-model-states-explored 21370861 23530
build-model-states-explored 21394376 23515
build-model-states-explored 21417933 23557
build-model-states-explored 21441469 23536
build-model-states-explored 21464979 23510
build-model-states-explored 21488507 23528
build-model-states-explored 21512040 23533
build-model-states-explored 21535560 23520
build-model-states-explored 21559125 23565
build-model-states-explored 21582666 23541
build-model-states-explored 21606190 23524
build-model-states-explored 21629724 23534
build-model-states-explored 21653262 23538
build-model-states-explored 21676739 23477
build-model-states-explored 21700222 23483
build-model-states-explored 21723698 23476
build-model-states-explored 21747165 23467
build-model-states-explored 21770656 23491
build-model-states-explored 21794086 23430
build-model-states-explored 21817529 23443
build-model-states-explored 21840979 23450
build-model-states-explored 21864502 23523
build-model-states-explored 21888018 23516
build-model-states-explored 21911508 23490
build-model-states-explored 21935006 23498
build-model-states-explored 21958502 23496
build-model-states-explored 21982019 23517
build-model-states-explored 22005539 23520
build-model-states-explored 22029045 23506
build-model-states-explored 22052511 23466
build-model-states-explored 22075961 23450
build-model-states-explored 22099441 23480
build-model-states-explored 22122968 23527
build-model-states-explored 22146476 23508
build-model-states-explored 22169970 23494
build-model-states-explored 22193469 23499
build-model-states-explored 22216974 23505
build-model-states-explored 22240463 23489
build-model-states-explored 22263961 23498
build-model-states-explored 22287478 23517
build-model-states-explored 22310968 23490
build-model-states-explored 22334476 23508
build-model-states-explored 22357979 23503
build-model-states-explored 22381476 23497
build-model-states-explored 22404988 23512
build-model-states-explored 22428509 23521
build-model-states-explored 22452024 23515
build-model-states-explored 22475546 23522
build-model-states-explored 22499061 23515
build-model-states-explored 22522567 23506
build-model-states-explored 22546087 23520
build-model-states-explored 22569587 23500
build-model-states-explored 22593069 23482
build-model-states-explored 22616567 23498
build-model-states-explored 22640055 23488
build-model-states-explored 22663550 23495
build-model-states-explored 22687056 23506
build-model-states-explored 22710591 23535
build-model-states-explored 22734100 23509
build-model-states-explored 22757622 23522
build-model-states-explored 22781140 23518
build-model-states-explored 22804644 23504
build-model-states-explored 22828142 23498
build-model-states-explored 22851647 23505
build-model-states-explored 22875145 23498
build-model-states-explored 22898644 23499
build-model-states-explored 22922155 23511
build-model-states-explored 22945646 23491
build-model-states-explored 22969140 23494
build-model-states-explored 22992593 23453
build-model-states-explored 23016034 23441
build-model-states-explored 23039539 23505
build-model-states-explored 23063054 23515
build-model-states-explored 23086526 23472
build-model-states-explored 23110046 23520
build-model-states-explored 23133572 23526
build-model-states-explored 23157063 23491
build-model-states-explored 23180557 23494
build-model-states-explored 23204079 23522
build-model-states-explored 23227544 23465
build-model-states-explored 23250986 23442
build-model-states-explored 23274502 23516
build-model-states-explored 23297979 23477
build-model-states-explored 23321479 23500
build-model-states-explored 23344971 23492
build-model-states-explored 23368448 23477
build-model-states-explored 23391950 23502
build-model-states-explored 23415453 23503
build-model-states-explored 23438949 23496
build-model-states-explored 23462435 23486
build-model-states-explored 23485905 23470
build-model-states-explored 23509381 23476
build-model-states-explored 23532903 23522
build-model-states-explored 23556414 23511
build-model-states-explored 23579910 23496
build-model-states-explored 23603421 23511
build-model-states-explored 23626932 23511
build-model-states-explored 23650428 23496
build-model-states-explored 23673934 23506
build-model-states-explored 23697454 23520
build-model-states-explored 23720952 23498
build-model-states-explored 23744459 23507
build-model-states-explored 23767970 23511
build-model-states-explored 23791473 23503
build-model-states-explored 23814999 23526
build-model-states-explored 23838501 23502
build-model-states-explored 23862013 23512
build-model-states-explored 23885532 23519
build-model-states-explored 23909062 23530
build-model-states-explored 23932572 23510
build-model-states-explored 23956121 23549
build-model-states-explored 23979644 23523
build-model-states-explored 24003150 23506
build-model-states-explored 24026680 23530
build-model-states-explored 24050209 23529
build-model-states-explored 24072080 21871
build-model-states-explored 24077125 5045
build-model-states-explored 24090315 13190
build-model-states-explored 24099689 9374
build-model-states-explored 24120848 21159
build-model-states-explored 24141160 20312
build-model-states-explored 24163081 21921
build-model-states-explored 24184559 21478
build-model-states-explored 24206963 22404
build-model-states-explored 24228574 21611
build-model-states-explored 24251624 23050
build-model-states-explored 24265868 14244
build-model-states-explored 24276162 10294
build-model-states-explored 24280360 4198
build-model-states-explored 24284550 4190
build-model-states-explored 24288739 4189
build-model-states-explored 24292935 4196
build-model-states-explored 24298023 5088
build-model-states-explored 24302398 4375
build-model-states-explored 24302398 0
build-model-states-explored 24302398 0
build-model-states-explored 24305142 2744
build-model-states-explored 24310210 5068
build-model-states-explored 24315258 5048
build-model-states-explored 24320325 5067
build-model-states-explored 24325280 4955
build-model-states-explored 24328054 2774
build-model-states-explored 24329102 1048
build-model-states-explored 24330182 1080
build-model-states-explored 24331279 1097
build-model-states-explored 24338050 6771
build-model-states-explored 24351925 13875
build-model-states-explored 24362265 10340
build-model-states-explored 24372652 10387
build-model-states-explored 24382973 10321
build-model-states-explored 24393393 10420
build-model-states-explored 24403691 10298
build-model-states-explored 24414095 10404
build-model-states-explored 24424371 10276
build-model-states-explored 24434778 10407
build-model-states-explored 24445038 10260
build-model-states-explored 24455461 10423
build-model-states-explored 24465702 10241
build-model-states-explored 24476116 10414
build-model-states-explored 24486368 10252
build-model-states-explored 24496759 10391
build-model-states-explored 24507019 10260
build-model-states-explored 24517413 10394
build-model-states-explored 24527645 10232
build-model-states-explored 24537941 10296
build-model-states-explored 24548191 10250
build-model-states-explored 24558557 10366
build-model-states-explored 24568811 10254
build-model-states-explored 24579167 10356
build-model-states-explored 24589410 10243
build-model-states-explored 24599748 10338
build-model-states-explored 24609976 10228
build-model-states-explored 24620309 10333
build-model-states-explored 24630537 10228
build-model-states-explored 24640866 10329
build-model-states-explored 24651079 10213
build-model-states-explored 24661410 10331
build-model-states-explored 24671615 10205
build-model-states-explored 24681918 10303
build-model-states-explored 24692122 10204
build-model-states-explored 24702448 10326
build-model-states-explored 24712632 10184
build-model-states-explored 24722959 10327
build-model-states-explored 24733133 10174
build-model-states-explored 24743456 10323
build-model-states-explored 24753625 10169
build-model-states-explored 24763943 10318
build-model-states-explored 24774093 10150
build-model-states-explored 24784417 10324
build-model-states-explored 24794558 10141
build-model-states-explored 24804849 10291
build-model-states-explored 24806860 2011
build-model-states-explored 24806860 0
build-model-states-explored 24810990 4130
build-model-states-explored 24821262 10272
build-model-states-explored 24831385 10123
build-model-states-explored 24841635 10250
build-model-states-explored 24851774 10139
build-model-states-explored 24862013 10239
build-model-states-explored 24872206 10193
build-model-states-explored 24882492 10286
build-model-states-explored 24892904 10412
build-model-states-explored 24903338 10434
build-model-states-explored 24913675 10337
build-model-states-explored 24923977 10302
build-model-states-explored 24934362 10385
build-model-states-explored 24944774 10412
build-model-states-explored 24955075 10301
build-model-states-explored 24964608 9533
build-model-states-explored 24975030 10422
build-model-states-explored 24985493 10463
build-model-states-explored 24995851 10358
build-model-states-explored 25006186 10335
build-model-states-explored 25016634 10448
build-model-states-explored 25027062 10428
build-model-states-explored 25037412 10350
build-model-states-explored 25047769 10357
build-model-states-explored 25058206 10437
build-model-states-explored 25068612 10406
build-model-states-explored 25078952 10340
build-model-states-explored 25089330 10378
build-model-states-explored 25099763 10433
build-model-states-explored 25110118 10355
build-model-states-explored 25120439 10321
build-model-states-explored 25130828 10389
build-model-states-explored 25141262 10434
build-model-states-explored 25151599 10337
build-model-states-explored 25161917 10318
build-model-states-explored 25172305 10388
build-model-states-explored 25182709 10404
build-model-states-explored 25193026 10317
build-model-states-explored 25203341 10315
build-model-states-explored 25213745 10404
build-model-states-explored 25224138 10393
build-model-states-explored 25234093 9955
build-model-states-explored 25244266 10173
build-model-states-explored 25254668 10402
build-model-states-explored 25265009 10341
build-model-states-explored 25275262 10253
build-model-states-explored 25285530 10268
build-model-states-explored 25295878 10348
build-model-states-explored 25306200 10322
build-model-states-explored 25316453 10253
build-model-states-explored 25326705 10252
build-model-states-explored 25337060 10355
build-model-states-explored 25347386 10326
build-model-states-explored 25357628 10242
build-model-states-explored 25367889 10261
build-model-states-explored 25378207 10318
build-model-states-explored 25388497 10290
build-model-states-explored 25398716 10219
build-model-states-explored 25408966 10250
build-model-states-explored 25419269 10303
build-model-states-explored 25429551 10282
build-model-states-explored 25439774 10223
build-model-states-explored 25449993 10219
build-model-states-explored 25460299 10306
build-model-states-explored 25470569 10270
build-model-states-explored 25480765 10196
build-model-states-explored 25490958 10193
build-model-states-explored 25501235 10277
build-model-states-explored 25511482 10247
build-model-states-explored 25521672 10190
build-model-states-explored 25531873 10201
build-model-states-explored 25542164 10291
build-model-states-explored 25552432 10268
build-model-states-explored 25562582 10150
build-model-states-explored 25572773 10191
build-model-states-explored 25583041 10268
build-model-states-explored 25593289 10248
build-model-states-explored 25603444 10155
build-model-states-explored 25613573 10129
build-model-states-explored 25623809 10236
build-model-states-explored 25634054 10245
build-model-states-explored 25644208 10154
build-model-states-explored 25654345 10137
build-model-states-explored 25664573 10228
build-model-states-explored 25674820 10247
build-model-states-explored 25684956 10136
build-model-states-explored 25695068 10112
build-model-states-explored 25705237 10169
build-model-states-explored 25715435 10198
build-model-states-explored 25725578 10143
build-model-states-explored 25735681 10103
build-model-states-explored 25745834 10153
build-model-states-explored 25756055 10221
build-model-states-explored 25766225 10170
build-model-states-explored 25776334 10109
build-model-states-explored 25786458 10124
build-model-states-explored 25796659 10201
build-model-states-explored 25806858 10199
build-model-states-explored 25816940 10082
build-model-states-explored 25827029 10089
build-model-states-explored 25837227 10198
build-model-states-explored 25847425 10198
build-model-states-explored 25857498 10073
build-model-states-explored 25867584 10086
build-model-states-explored 25877758 10174
build-model-states-explored 25887952 10194
build-model-states-explored 25898065 10113
build-model-states-explored 25908144 10079
build-model-states-explored 25918253 10109
build-model-states-explored 25922021 3768
build-model-states-explored 25923031 1010
build-model-states-explored 25924033 1002
build-model-states-explored 25925033 1000
build-model-states-explored 25926097 1064
build-model-states-explored 25927204 1107
build-model-states-explored 25928332 1128
build-model-states-explored 25929351 1019
build-model-states-explored 25930398 1047
build-model-states-explored 25931455 1057
build-model-states-explored 25932557 1102
build-model-states-explored 25935081 2524
build-model-states-explored 25956762 21681
build-model-states-explored 25977498 20736
build-model-states-explored 25998101 20603
build-model-states-explored 26018845 20744
build-model-states-explored 26039459 20614
build-model-states-explored 26060206 20747
build-model-states-explored 26080786 20580
build-model-states-explored 26101522 20736
build-model-states-explored 26122129 20607
build-model-states-explored 26142862 20733
build-model-states-explored 26163472 20610
build-model-states-explored 26184179 20707
build-model-states-explored 26204808 20629
build-model-states-explored 26225509 20701
build-model-states-explored 26246135 20626
build-model-states-explored 26266846 20711
build-model-states-explored 26287479 20633
build-model-states-explored 26308043 20564
build-model-states-explored 26328753 20710
build-model-states-explored 26349345 20592
build-model-states-explored 26370053 20708
build-model-states-explored 26390599 20546
build-model-states-explored 26411311 20712
build-model-states-explored 26431853 20542
build-model-states-explored 26452577 20724
build-model-states-explored 26473129 20552
build-model-states-explored 26493828 20699
build-model-states-explored 26514392 20564
build-model-states-explored 26535124 20732
build-model-states-explored 26555696 20572
build-model-states-explored 26576415 20719
build-model-states-explored 26596951 20536
build-model-states-explored 26617651 20700
build-model-states-explored 26638201 20550
build-model-states-explored 26658916 20715
build-model-states-explored 26679453 20537
build-model-states-explored 26700162 20709
build-model-states-explored 26720705 20543
build-model-states-explored 26741394 20689
build-model-states-explored 26761936 20542
build-model-states-explored 26782640 20704
build-model-states-explored 26803213 20573
build-model-states-explored 26823887 20674
build-model-states-explored 26844513 20626
build-model-states-explored 26865119 20606
build-model-states-explored 26885814 20695
build-model-states-explored 26906386 20572
build-model-states-explored 26927094 20708
build-model-states-explored 26947627 20533
build-model-states-explored 26957005 9378
build-model-states-explored 26957005 0
build-model-states-explored 26957005 0
build-model-states-explored 26957005 0
build-model-states-explored 26957005 0
build-model-states-explored 26957005 0
build-model-states-explored 26957005 0
build-model-states-explored 26957005 0
build-model-states-explored 26957005 0
build-model-states-explored 26957005 0
build-model-states-explored 26957005 0
build-model-states-explored 26975687 18682
build-model-states-explored 26996423 20736
build-model-states-explored 27016985 20562
build-model-states-explored 27037713 20728
build-model-states-explored 27058277 20564
build-model-states-explored 27078967 20690
build-model-states-explored 27099496 20529
build-model-states-explored 27120245 20749
build-model-states-explored 27140823 20578
build-model-states-explored 27161554 20731
build-model-states-explored 27182118 20564
build-model-states-explored 27202829 20711
build-model-states-explored 27223392 20563
build-model-states-explored 27244139 20747
build-model-states-explored 27264681 20542
build-model-states-explored 27285390 20709
build-model-states-explored 27305938 20548
build-model-states-explored 27326645 20707
build-model-states-explored 27347218 20573
build-model-states-explored 27367920 20702
build-model-states-explored 27388522 20602
build-model-states-explored 27409146 20624
build-model-states-explored 27429816 20670
build-model-states-explored 27450354 20538
build-model-states-explored 27471053 20699
build-model-states-explored 27491584 20531
build-model-states-explored 27512273 20689
build-model-states-explored 27532789 20516
build-model-states-explored 27553502 20713
build-model-states-explored 27574032 20530
build-model-states-explored 27594762 20730
build-model-states-explored 27615323 20561
build-model-states-explored 27636030 20707
build-model-states-explored 27656587 20557
build-model-states-explored 27677303 20716
build-model-states-explored 27697854 20551
build-model-states-explored 27718598 20744
build-model-states-explored 27739155 20557
build-model-states-explored 27759870 20715
build-model-states-explored 27780444 20574
build-model-states-explored 27801166 20722
build-model-states-explored 27821687 20521
build-model-states-explored 27842174 20487
build-model-states-explored 27862541 20367
build-model-states-explored 27882971 20430
build-model-states-explored 27903657 20686
build-model-states-explored 27924101 20444
build-model-states-explored 27944782 20681
build-model-states-explored 27965304 20522
build-model-states-explored 27986020 20716
build-model-states-explored 28006557 20537
build-model-states-explored 28027244 20687
build-model-states-explored 28047849 20605
build-model-states-explored 28068461 20612
build-model-states-explored 28089134 20673
build-model-states-explored 28109677 20543
build-model-states-explored 28130353 20676
build-model-states-explored 28150883 20530
build-model-states-explored 28171554 20671
build-model-states-explored 28192077 20523
build-model-states-explored 28212773 20696
build-model-states-explored 28233309 20536
build-model-states-explored 28254000 20691
build-model-states-explored 28274473 20473
build-model-states-explored 28295197 20724
build-model-states-explored 28315554 20357
build-model-states-explored 28336038 20484
build-model-states-explored 28356772 20734
build-model-states-explored 28377311 20539
build-model-states-explored 28398052 20741
build-model-states-explored 28418547 20495
build-model-states-explored 28439252 20705
build-model-states-explored 28459745 20493
build-model-states-explored 28480453 20708
build-model-states-explored 28501004 20551
build-model-states-explored 28521748 20744
build-model-states-explored 28542307 20559
build-model-states-explored 28563027 20720
build-model-states-explored 28583590 20563
build-model-states-explored 28604317 20727
build-model-states-explored 28624872 20555
build-model-states-explored 28645595 20723
build-model-states-explored 28666113 20518
build-model-states-explored 28686800 20687
build-model-states-explored 28707325 20525
build-model-states-explored 28728023 20698
build-model-states-explored 28748565 20542
build-model-states-explored 28769244 20679
build-model-states-explored 28789865 20621
build-model-states-explored 28810466 20601
build-model-states-explored 28831149 20683
build-model-states-explored 28851686 20537
build-model-states-explored 28872381 20695
build-model-states-explored 28892930 20549
build-model-states-explored 28913633 20703
build-model-states-explored 28934144 20511
build-model-states-explored 28954832 20688
build-model-states-explored 28975357 20525
build-model-states-explored 28996035 20678
build-model-states-explored 29016548 20513
build-model-states-explored 29037220 20672
build-model-states-explored 29057735 20515
build-model-states-explored 29078409 20674
build-model-states-explored 29098915 20506
build-model-states-explored 29119579 20664
build-model-states-explored 29140183 20604
build-model-states-explored 29160774 20591
build-model-states-explored 29181466 20692
build-model-states-explored 29202019 20553
build-model-states-explored 29222732 20713
build-model-states-explored 29243251 20519
build-model-states-explored 29263958 20707
build-model-states-explored 29284494 20536
build-model-states-explored 29305187 20693
build-model-states-explored 29325723 20536
build-model-states-explored 29346438 20715
build-model-states-explored 29366688 20250
build-model-states-explored 29387369 20681
build-model-states-explored 29407887 20518
build-model-states-explored 29428521 20634
build-model-states-explored 29449147 20626
build-model-states-explored 29467580 18433
build-model-states-explored 29488243 20663
build-model-states-explored 29508724 20481
build-model-states-explored 29529389 20665
build-model-states-explored 29549840 20451
build-model-states-explored 29570157 20317
build-model-states-explored 29590677 20520
build-model-states-explored 29611334 20657
build-model-states-explored 29631953 20619
build-model-states-explored 29652544 20591
build-model-states-explored 29673222 20678
build-model-states-explored 29693734 20512
build-model-states-explored 29714412 20678
build-model-states-explored 29734915 20503
build-model-states-explored 29755604 20689
build-model-states-explored 29776127 20523
build-model-states-explored 29796813 20686
build-model-states-explored 29817316 20503
build-model-states-explored 29837981 20665
build-model-states-explored 29858469 20488
build-model-states-explored 29879163 20694
build-model-states-explored 29899686 20523
build-model-states-explored 29920355 20669
build-model-states-explored 29940945 20590
build-model-states-explored 29961512 20567
build-model-states-explored 29982181 20669
build-model-states-explored 30002693 20512
build-model-states-explored 30023371 20678
build-model-states-explored 30043883 20512
build-model-states-explored 30064556 20673
build-model-states-explored 30085062 20506
build-model-states-explored 30105728 20666
build-model-states-explored 30126243 20515
build-model-states-explored 30146919 20676
build-model-states-explored 30167431 20512
build-model-states-explored 30188118 20687
build-model-states-explored 30208659 20541
build-model-states-explored 30229304 20645
build-model-states-explored 30249929 20625
build-model-states-explored 30270491 20562
build-model-states-explored 30291161 20670
build-model-states-explored 30311683 20522
build-model-states-explored 30332392 20709
build-model-states-explored 30352896 20504
build-model-states-explored 30373550 20654
build-model-states-explored 30394040 20490
build-model-states-explored 30414885 20845
build-model-states-explored 30435405 20520
build-model-states-explored 30455911 20506
build-model-states-explored 30476398 20487
build-model-states-explored 30497238 20840
build-model-states-explored 30517741 20503
build-model-states-explored 30538229 20488
build-model-states-explored 30558890 20661
build-model-states-explored 30579590 20700
build-model-states-explored 30600092 20502
build-model-states-explored 30620600 20508
build-model-states-explored 30641447 20847
build-model-states-explored 30661950 20503
build-model-states-explored 30682393 20443
build-model-states-explored 30702876 20483
build-model-states-explored 30723699 20823
build-model-states-explored 30744183 20484
build-model-states-explored 30764662 20479
build-model-states-explored 30785237 20575
build-model-states-explored 30805916 20679
build-model-states-explored 30826420 20504
build-model-states-explored 30846902 20482
build-model-states-explored 30867721 20819
build-model-states-explored 30888215 20494
build-model-states-explored 30908677 20462
build-model-states-explored 30929166 20489
build-model-states-explored 30949983 20817
build-model-states-explored 30970467 20484
build-model-states-explored 30990971 20504
build-model-states-explored 31011557 20586
build-model-states-explored 31032280 20723
build-model-states-explored 31052751 20471
build-model-states-explored 31073199 20448
build-model-states-explored 31094011 20812
build-model-states-explored 31114490 20479
build-model-states-explored 31134954 20464
build-model-states-explored 31155436 20482
build-model-states-explored 31176247 20811
build-model-states-explored 31196719 20472
build-model-states-explored 31217178 20459
build-model-states-explored 31237811 20633
build-model-states-explored 31258487 20676
build-model-states-explored 31278967 20480
build-model-states-explored 31299460 20493
build-model-states-explored 31320300 20840
build-model-states-explored 31340787 20487
build-model-states-explored 31361297 20510
build-model-states-explored 31377064 15767
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31377064 0
build-model-states-explored 31385610 8546
build-model-states-explored 31406105 20495
build-model-states-explored 31426567 20462
build-model-states-explored 31447053 20486
build-model-states-explored 31467862 20809
build-model-states-explored 31488328 20466
build-model-states-explored 31508810 20482
build-model-states-explored 31529414 20604
build-model-states-explored 31550059 20645
build-model-states-explored 31570499 20440
build-model-states-explored 31590977 20478
build-model-states-explored 31611785 20808
build-model-states-explored 31632249 20464
build-model-states-explored 31652705 20456
build-model-states-explored 31673178 20473
build-model-states-explored 31693993 20815
build-model-states-explored 31714452 20459
build-model-states-explored 31734907 20455
build-model-states-explored 31755631 20724
build-model-states-explored 31776218 20587
build-model-states-explored 31796687 20469
build-model-states-explored 31817177 20490
build-model-states-explored 31837987 20810
build-model-states-explored 31858451 20464
build-model-states-explored 31878928 20477
build-model-states-explored 31899414 20486
build-model-states-explored 31920178 20764
build-model-states-explored 31940647 20469
build-model-states-explored 31961104 20457
build-model-states-explored 31981877 20773
build-model-states-explored 32002354 20477
build-model-states-explored 32022808 20454
build-model-states-explored 32043266 20458
build-model-states-explored 32064072 20806
build-model-states-explored 32084573 20501
build-model-states-explored 32105036 20463
build-model-states-explored 32125626 20590
build-model-states-explored 32146294 20668
build-model-states-explored 32166754 20460
build-model-states-explored 32187176 20422
build-model-states-explored 32207973 20797
build-model-states-explored 32228417 20444
build-model-states-explored 32248858 20441
build-model-states-explored 32269328 20470
build-model-states-explored 32290082 20754
build-model-states-explored 32310549 20467
build-model-states-explored 32331018 20469
build-model-states-explored 32351783 20765
build-model-states-explored 32372243 20460
build-model-states-explored 32392722 20479
build-model-states-explored 32413212 20490
build-model-states-explored 32434026 20814
build-model-states-explored 32454453 20427
build-model-states-explored 32474779 20326
build-model-states-explored 32495463 20684
build-model-states-explored 32515967 20504
build-model-states-explored 32536376 20409
build-model-states-explored 32556797 20421
build-model-states-explored 32577520 20723
build-model-states-explored 32597935 20415
build-model-states-explored 32618383 20448
build-model-states-explored 32639073 20690
build-model-states-explored 32659560 20487
build-model-states-explored 32679988 20428
build-model-states-explored 32700427 20439
build-model-states-explored 32721180 20753
build-model-states-explored 32741633 20453
build-model-states-explored 32762077 20444
build-model-states-explored 32782719 20642
build-model-states-explored 32803239 20520
build-model-states-explored 32823684 20445
build-model-states-explored 32844137 20453
build-model-states-explored 32864903 20766
build-model-states-explored 32885332 20429
build-model-states-explored 32905762 20430
build-model-states-explored 32926375 20613
build-model-states-explored 32946989 20614
build-model-states-explored 32967400 20411
build-model-states-explored 32987821 20421
build-model-states-explored 33008584 20763
build-model-states-explored 33028977 20393
build-model-states-explored 33049371 20394
build-model-states-explored 33069965 20594
build-model-states-explored 33090480 20515
build-model-states-explored 33110878 20398
build-model-states-explored 33131331 20453
build-model-states-explored 33152078 20747
build-model-states-explored 33172489 20411
build-model-states-explored 33192918 20429
build-model-states-explored 33213566 20648
build-model-states-explored 33234116 20550
build-model-states-explored 33254513 20397
build-model-states-explored 33274886 20373
build-model-states-explored 33295615 20729
build-model-states-explored 33316027 20412
build-model-states-explored 33336411 20384
build-model-states-explored 33357122 20711
build-model-states-explored 33377584 20462
build-model-states-explored 33397979 20395
build-model-states-explored 33418362 20383
build-model-states-explored 33438849 20487
build-model-states-explored 33459248 20399
build-model-states-explored 33479655 20407
build-model-states-explored 33500415 20760
build-model-states-explored 33520665 20250
build-model-states-explored 33540708 20043
build-model-states-explored 33554431 13723
build-model-states-explored 33574802 20371
build-model-states-explored 33595142 20340
build-model-states-explored 33615417 20275
build-model-states-explored 33635828 20411
build-model-states-explored 33656463 20635
build-model-states-explored 33676823 20360
build-model-states-explored 33697151 20328
build-model-states-explored 33717847 20696
build-model-states-explored 33738163 20316
build-model-states-explored 33758491 20328
build-model-states-explored 33779153 20662
build-model-states-explored 33799482 20329
build-model-states-explored 33819818 20336
build-model-states-explored 33840282 20464
build-model-states-explored 33860767 20485
build-model-states-explored 33881107 20340
build-model-states-explored 33901426 20319
build-model-states-explored 33922087 20661
build-model-states-explored 33942407 20320
build-model-states-explored 33962737 20330
build-model-states-explored 33983222 20485
build-model-states-explored 34003224 20002
build-model-states-explored 34023501 20277
build-model-states-explored 34044141 20640
build-model-states-explored 34064479 20338
build-model-states-explored 34084788 20309
build-model-states-explored 34105446 20658
build-model-states-explored 34125777 20331
build-model-states-explored 34146129 20352
build-model-states-explored 34166670 20541
build-model-states-explored 34187150 20480
build-model-states-explored 34207483 20333
build-model-states-explored 34227824 20341
build-model-states-explored 34248506 20682
build-model-states-explored 34268837 20331
build-model-states-explored 34289172 20335
build-model-states-explored 34309845 20673
build-model-states-explored 34330171 20326
build-model-states-explored 34350494 20323
build-model-states-explored 34371133 20639
build-model-states-explored 34391508 20375
build-model-states-explored 34411832 20324
build-model-states-explored 34432237 20405
build-model-states-explored 34452864 20627
build-model-states-explored 34473194 20330
build-model-states-explored 34493556 20362
build-model-states-explored 34514253 20697
build-model-states-explored 34534502 20249
build-model-states-explored 34554801 20299
build-model-states-explored 34575470 20669
build-model-states-explored 34595759 20289
build-model-states-explored 34616049 20290
----------
Computation aborted after 1800.2436921596527 seconds since the total time limit of 1800 seconds was exceeded.